@article(
MitchFD,Author="Mitchell, J.C.",
	Title="The Implication Problem for 
	Functional and Inclusion Dependencies",
	Journal="Information and Control",
	Volume="56",Year="1983", pages="112-138")